#ifndef ONE_DIM_SPACE
#define ONE_DIM_SPACE

#include <iostream>
#include <vector>
#include "Space.h"

namespace polytope
{
	class Space_1D: public Space
	{
		
		public:
			Space_1D(int dim,int length)
			{
				this->dimension=dim;
				this->size=length;
			}
			int Get_1D_Size()
			{
				return size;
			}

			int Dependence_Polytope(Poly_Operation op);
		private:
			int size;

	};

}

#endif
